how to push to github from visual studio code